Merge branch 'gitlab-ci-mingw' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 10 Apr 2018 18:59:49 +0000 (18:59 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 10 Apr 2018 18:59:49 +0000 (18:59 +0000)
gitlab-ci: mingw build

See merge request GNOME/gtk!105


Trivial merge